Java code static analysis